Language Research Sponsored by ONR
نویسنده
چکیده
In contrast to DARPA, ONR has not had a defined program that is focused exclusively on language research. However, there have been some clusters of projects concerned with language that have been supported within the Cognitive Science Program and its prior incarnation, the Personnel and Training Research Program. The ONR program is a basic research program, but a mission-oriented one which seeks to generate results that will prove applicable to significant Navy applications. Traditionally, as the earlier name indicates, those applications were sought primarily in training; more recently, the targets have been broadened to include human factors applications, especially in human-system interaction. Originally, the program was a psychological research program, but it evolved into a cognitive science program, the first government research program to be so labeled. The ONR Cognitive Science Program emphasizes the use of AI techniques to model human cognitive performance, and it has also emphasized the special sub-field of AI concerned with artificially intelligent computerized instruction or tutoring systems (ICAI or ITS). Thus, the ONR Cognitive Science Program also contrasts with the DARPA Human Language Technology Program in being concerned with understanding how human language actually is produced and processed by humans. (There is also an AI program within the Computer Science Division of ONR.) The management style of the program might be best described as dvnamic coherence. That is, a degree of coherence or focus is necessary in order to enhance the likeliho(x:l of identifiable impact on application areas, but the focal clusters do evolve over time, partially in response to promising proposals that are received. New proposals are judged partially by the extent to which they cohere with and enhance the current portfolio of projects, not merely on isolated merit and inclusion in the broad area of cognitive science. Two salient clusters of language-related research that emerged have been the currently active emphasis on tutorial discourse and an eadier interest in improving the readability of instructional texts and documentation. Both have had significant natural language AI aspects, but not all projects have involved computation.
منابع مشابه
Scaling up in Speaking Proficiency by Supporting Robust Learning Behaviors
As language learners scale up in terms of speaking proficiency, they expand the volume of expressions in the target language that they can use in a robust fashion, combining vocabulary and syntactic structures into novel constructions and transferring them to new contexts. In the ISLET Project, sponsored by the Office of Naval Research (ONR), we have developed a strategy for allowing a dialog-r...
متن کاملEquilibrium Efficiency and Price Complexity in Sponsored Search Auctions
Modern sponsored search auctions are derived from the Generalized Second Price (GSP) auction. Although the GSP auction is not truthful, results by Edelman, Ostrovsky, and Schwarz [7] and Varian [13] give senses in which its outcome is equivalent to that of the truthful and welfaremaximizing VCG mechanism. The first main message of this paper is that these properties are not unique to the GSP au...
متن کاملSession 9: Government Panel
The purpose of the Government Panel session is to inform the research community about Human Language Technology research sponsored by the individual Government agencies that the panelists represent. The researchers gain a better understanding of the potential market beyond ARPA, for their research skills and product. Government agencies who may need what the researchers can offer benefit when t...
متن کاملANSI-C Bounded Model Checker User Manual
We describe a tool that formally verifies ANSI-C programs. The tool implements a technique called Bounded Model Checking (BMC). In BMC, the transition relation for a complex state machine and its specification are jointly unwound to obtain a Boolean formula, which is then checked for satisfiability by using a SAT procedure. The tool supports all ANSI-C integer operators and all pointer construc...
متن کاملANSI - C Bounded Model Checker User Manual Edmund Clarke
We describe a tool that formally verifies ANSI-C programs. The tool implements a technique called Bounded Model Checking (BMC). In BMC, the transition relation for a complex state machine and its specification are jointly unwound to obtain a Boolean formula, which is then checked for satisfiability by using a SAT procedure. The tool supports all ANSI-C integer operators and all pointer construc...
متن کامل